System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
171	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS 1 Imp Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2014-04-29 20:45:24 Computing Parallel computing Computer programming Software engineering OpenMP Multi-core processor Data parallelism Runtime system Task parallelism Thread Manycore processor Central processing unit
172	Chapter 1 A Tour of Computer Systems A computer system consists of hardware and systems software that work together to run application programs. Specific implementations of systems change over time, but the underlying c Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 14:17:17 Computing Software Computer architecture Programming language implementation Computer Forth Executable Instruction set Assembly language Data Machine code Minicomputers
173	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
174	18 CPMake use of DateTime consistent in concept names 1 Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-05-30 09:30:00 Computer programming System time Absorbed dose
175	Package ‘PostcodesioR’ July 26, 2016 Type Package Title API wrapper around Postcodes.io (a free Postcode lookup API and geocoder for the UK) Version 0.1.0 Add to Reading List Source URL: walczak.org Language: English - Date: 2016-07-31 16:55:13 Computer programming Software engineering Postal system Postal code Geocoding Parameter Null Computing Subroutine Postcodes in the United Kingdom
176	programming pearls THE ENVELOPEIS BACK The February 1984 column was about “back-of-theenvelope” calculations. When you’re deciding whether to add a new command to a database system, Add to Reading List Source URL: www.eecs.harvard.edu Language: English Computing Computer architecture Business Operations research Network performance Stochastic processes Association for Computing Machinery Queueing theory Microsecond Load Null Rate
177	The syntax of the OUN language Olaf Owe Department of Informatics, University of Oslo, Norway February 21, 2002 Contents Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-05-04 07:55:02 Software Computing System software Expr Seq ECL programming language
178	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
179	Virtuozzo 7 User’s Guide Add to Reading List Source URL: docs.openvz.org Language: English - Date: 2016-07-25 09:16:36 Software System software Programming language implementation Virtual machine Operating-system-level virtualization Hardware virtualization LXC Virtualization Parallels Desktop for Mac OpenVZ System virtual machine
180	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type

UPDATE